Steel: Mã hóa hàm ngẫu nhiên và có trạng thái dựa trên phần cứng có thể kết hợp
Steel: Composable Hardware-based Stateful and Randomised Functional Encryption.
Môi trường thực thi đáng tin cậy (TEE) cho phép thực thi an toàn các chương trình trên các máy chủ không đáng tin cậy và chứng thực bằng mật mã tính chính xác của đầu ra. Vì đây là những hệ thống phức tạp nên điều cần thiết là phải chính thức nắm bắt chính xác mức độ bảo mật mà các giao thức sử dụng TEE đạt được, và cuối cùng là chứng minh tính bảo mật của chúng theo thành phần, vì TEE thường được sử dụng đồng thời trong nhiều giao thức. Đóng góp của các tác giả là gấp đôi. Một mặt, các tác giả cho thấy theo các định nghĩa hiện có về thiết lập thực thi đã được chứng thực, họ có thể thực hiện các hàm mật mã không thể thực hiện được trong mô hình tiêu chuẩn. Mặt khác, các tác giả mở rộng mô hình đối nghịch để nắm bắt một lớp bên tấn công thực tế rộng hơn, họ chứng minh những điểm yếu trong các định nghĩa bảo mật hiện có của lớp này và đề xuất những điểm mạnh hơn. Cụ thể, trước tiên các tác giả xác định khái quát về Mã hóa hàm nhằm nắm bắt các hàm Có trạng thái và Ngẫu nhiên (FESR). Sau đó, giả định hàm lý tưởng để thực thi của Pass và cộng sự (Eurocrypt '2017), các tác giả xây dựng giao thức liên quan, Steel, và họ chứng minh Steel hiện thực hóa FESR trong thành phần phổ quát với mô hình chương trình con toàn cầu của Badertscher và cộng sự (TCC '2020). Bài nghiên cứu này cũng là sự xác nhận tính hợp lệ của giao thức Iron của Fisch và cộng sự (CCS '2017), nắm bắt mã hóa hàm dựa trên phần cứng (không trạng thái). Vì hàm hiện có để thực thi chứng thực của Pass và cộng sự quá mạnh để sử dụng trong thế giới thực, các tác giả đề xuất một hàm yếu hơn cho phép bên tấn công thực hiện các cuộc tấn công khôi phục và phân nhánh. Các tác giả chứng minh Steel (hiện thực hóa các hàm có trạng thái), trái ngược với biến thể không trạng thái tương ứng với Iron, không an toàn trong cài đặt này và thảo luận về các kỹ thuật giảm thiểu có thể có.